<?php
require_once('Zend/Config/Ini.php');

class Extension_Config_Ini extends Zend_Config_Ini
{
    
}